|
|
1.
|
Programming Challenges: The programming contest training manual
by Skiena, Stevan S | Revilla, Miguel A. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 SKI] (1).
|
|
|
2.
|
Selected writings on computing : a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
|
|
|
3.
|
Mathematical computing : an introduction to programming using Maple
by Betounes, David | Redfern, Mylan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 005.133 BET] (2).
|
|
|
4.
|
Programming Methodology
by Mclver, Annabelle | Morgan, Carroll. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
|
|
|
5.
|
Science of programming
by Gries, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1981Availability: Items available for loan: [Call number: 001.642 GRI] (2).
|
|
|
6.
|
Temporal Logic of Reactive and Concurrent Systems
by Manna, Zohar | Pnueli, A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1992Availability: Items available for loan: [Call number: 005.1 MAN] (1).
|
|
|
7.
|
Refinement calculus
by Back, Ralph-Johan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
|
|
|
8.
|
End-user development
by Lieberman, Henry | Paterno, Fabio | Wulf, Volker. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 004.019 LIE] (1).
|
|
|
9.
|
Theoretical introduction to programming
by Mills, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 005.1 MIL] (1).
|
|
|
10.
|
Software Design
by Detienne, Francoise. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 DET] (1).
|
|
|
11.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
|
12.
|
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
by Broy, Manfred | Zamulin, Alexandre V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRO] (1).
|
|
|
13.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
|
14.
|
Algorithms in Bioinformatics
by Guigo, Roderic | Guigo, Roderic | Guigo, Roderic | Gusfield, Dan | Gusfield, Dan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GUI] (1).
|
|
|
15.
|
Principles of program analysis
by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
|
16.
|
Design and analysis of algorithms
by Kozen, Dexter C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1992Availability: Items available for loan: [Call number: 005.1 KOZ] (1).
|
|
|
17.
|
Algorithms and Programming : problems and solutions
by Shen, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Springer, 2008Availability: Items available for loan: [Call number: 005.1 SHE] (1).
|
|
|
18.
|
Practical Computing on the Cell Broadband Engine
by Koranne, Sandeep. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 005.1 KOR] (1).
|
|
|
19.
|
Algorithms and Programming : problems and solutions
by Shen, Alexander. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 005.1 SHE] (1).
|
|
|
20.
|
Toward artificial sapience : principles and methods for wise systems
by Perlovsky, Leonid I | Mayorga, Rene V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 006.3 MAY] (1).
|
